Перегляд за автором "Цейтлин, Г.Е."

Результати 1-12 з 12

Алгебраическое проектирование программ: алгоритмы, объекты, инструменты

Дорошенко, А.Е.; Захария, Л.М.; Цейтлин, Г.Е. (2007)

Освещены современные исследования средств проектирования алгоритмов и программ. Известный тезис Вирта: "алгоритмы + структуры данных = программы" распространен на современные исследования по методологии и технологии ...
Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью

Дорошенко, А.Е.; Цейтлин, Г.Е. (2003)

Освещены вопросы теоретико-автоматных и алгебраических исследований, восходящих от фундаментальных работ В.М.Глушкова, приведен ретроспективный обзор основных результатов, полученных в данной области, а также установлены ...
Алгеброалгоритмические аспекты полноты: абстракции, биология и экология

Цейтлин, Г.Е.; Захария, Л.М. (2008)

Проведен сопоставительный анализ алгебры алгоритмики и аналогичных направлений – алгебраической алгоритмики и порождающего (ментального) программирования. Отражены общность и специфика проблематики функциональной и ...
Алгебро-алгоритмические аспекты полноты: абстракции, биология и экология

Цейтлин, Г.Е. (Кибернетика и системный анализ, 2008)
Алгебро-алгоритмические средства проектирования знаний предметных областей

Цейтлин, Г.Е.; Захария, Л.М. (Кибернетика и системный анализ, 2009)

Розвинуто теорію клонів у напрямку формалізації алгоритмічних знань в предметних областях. Коротко представлено клон Поста, алгоритмічні клони Дейкстри, Глушкова, граф-схеми Калужніна, клон Кліні регулярних виразів, а також ...
Высокоуровневые средства автоматизации проектирования параллельных алгоритмов

Дорошенко, А.Е.; Цейтлин, Г.Е.; Иовчев, В.А. (2009)

В работе рассматриваются вопросы создания инструментария, ориентированного на разработку параллельных алгоритмов и программ. Предусматривается реализация системы в распределенной среде, предоставление ей Web-интерфейса и ...
Ментальные аспекты методов символьной мультиобработки

Цейтлин, Г.Е.; Иовчев, В.А.; Мусихин, А.А. (2008)

Використовуючи можливості формалізації та інструментарій алгебри алгоритміки, в даній роботі спроектовано і реалізовано нетривіальні алгоритми символьної мультиобробки: сорту-вання, пошук і синтаксичний аналіз. Визначено ...
О построении клонов алгебр функциональных n-отношенеий

Захария, Л.М.; Луценко, Т.В.; Цейтлин, Г.Е. (2006)

Рассматриваются клоны алгебр n-отношений. Данные клоны включают алгебры, равномощные алгебре Кодда. Особое внимание уделено распространению результатов, полученных ранее по полугрупповым (грамматическим и алгоритмическим) ...
Развитие инструментария алгебры алгоритмики с целью разработки параллельных программ с использованием эвристических средств

Дорошенко, А.Е.; Котюк, Н.В.; Николаев, С.С.; Цейтлин, Г.Е.; Яценко, Е.А. (Кибернетика и системный анализ, 2010)

Розглянуто розвиток алгеброалгоритмічного інструментарію для конструювання паралельних алгоритмів на основі спільного використання алгеброалгоритмічної методології специфікації і розробки програм та неалгоритмічних ...
Что такое алгебраическая алгоритмика?

Цейтлин, Г.Е.; Мохница, А.С. (2004)

Даний огляд присвячено алгебраїчній алгоритміці (АА) - актуальній області комп'ютерної науки, що інтенсивно розвивається. Наведено обґрунтування напряму досліджень з алгебри алгоритміки в межах АА. Окреслено загальну ...
Экологические аспекты представления знаний средствами алгебры алгоритмики

Цейтлин, Г.Е.; Захария, Л.М.; Захария, О.В.; Жовнир, Ю.И. (2010)

Работа представляет экологические аспекты порождения алгоритмических знаний предметных областей. Средства алгоритмической формализации и синтеза знаний предметных областей представляют собой триаду – абстракции, биологию ...
Элементы алгебраической алгоритмики и объектно-ориентированный синтез параллельных программ

Цейтлин, Г.Е.; Яценко, Е.А. (2003)

Статья посвящена результатам, полученным в рамках интеграции алгебры алгоритмики и современных объектно-ориентированных средств. Рассмотрены средства построения семейств алгоритмических алгебр, ассоциированных ...

Результати 1-12 з 12

Пошук

Розширений пошук

Перегляд

Вся бібліотека

Перегляд за автором "Цейтлин, Г.Е."

Репозиторій DSpace/Manakin

Перегляд за автором "Цейтлин, Г.Е."

Пошук

Перегляд

Вся бібліотека

Мій обліковий запис